<?php
  session_start();
if (isset($_SESSION['username'])) {
    echo '<ul>';
    echo '<li><a href="?p=viewprofile">Mijn profile</a> </li> ';
    echo '<li><a href="?p=editprofile">Profile bewerken</a> </li> ';
    echo '<li><a href="?p=zoekstage">Stage zoeken</a> </li> ';
    echo '<li><a href="?p=logout">Log Out (' . $_SESSION['username'] . ')</a></li>';
    echo '</ul>';
} else {
    echo '<ul>';
    echo '<li><a href="?p=home">Home</a> </li> ';
    echo '<li><a href="?p=makeprofile">Profiel aanmaken</a> </li> ';
    echo '</ul>';
}
?>